4. Advanced information systems engineering :
Author: Paolo Giorgini, Barbara Weber (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided software engineering, Congresses.,Systems engineering, Congresses.,Computer-aided software engineering.,Systems engineering.
Classification :
QA76
.
758
.
C33
2019
5. Advanced information systems engineering workshops :
Author: Marko Bajec, Johann Eder (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided software engineering -- Congresses.,Computer-aided software engineering.,Systems engineering -- Congresses.
Classification :
QA76
.
76
.
A65
M375
2012
6. Advanced mathematical & computational tools in metrology VII /
Author: editors, P. Ciarlini [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
Classification :
QA465
.
A273
2006eb
7. Advances in Computing and Data Sciences :
Author: edited by Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören, Rekha Kashyap.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Computer science.
Classification :
QA75
.
5
8. Advances in computer science and information technology :
Author: edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Information technology -- Congresses.
9. Advances in computing and data sciences :
Author: Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Computer science.,Internet of things.
Classification :
QA75
.
5
10. Advances in computing and data sciences: second International Conference, ICACDS 2018, Dehradun, India, April 20-21, 2018, Revised selected papers. Part II
Author: / Edited by Mayank Singh... [et al.].
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Data Structures and Information Theory.,Computer science -- Congresses.,ساختار دادهها,Data structures (Computer science),a05,a05,Information Theory.,Data Structures.,Computer science.,Advanced computing.,Data sciences.
11. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
Classification :
TK
7874
.
75
.
I45
1997
12. Algorithms and complexity in mathematics, epistemology, and science :
Author: editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
Classification :
QA9
.
58
13. Algorithms and data structures :
Author: Selim G. Akl [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Data structures (Computer science) -- Congresses.
14. Ambient intelligence-- Software and applications :
Author: Paulo Novais, Davy Preuveneers, and Juan M. Corchado (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ambient intelligence -- Congresses.,COMPUTERS -- Interactive & Multimedia.,COMPUTERS -- Social Aspects -- Human-Computer Interaction.
15. Application and theory of petri nets :
Author: Jose-Manuel Colom, Jorg Desel (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Petri nets -- Congresses.,Petri nets.
16. Applied reconfigurable computing : architectures, tools, and applications :
Author: edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
Classification :
QA76
.
9
.
A3
17. Architecting critical systems
Author: / Holger Giese (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F38I83
2010
18. Automated technology for verification and analysis
Author: Supratik Chakraborty, Madhavan Mukund (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2012eb
19. Automated technology for verification and analysis :
Author: Dang Van Hung, Mizuhito Ogawa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2013
20. Automated technology for verification and analysis
Author: Zhiming Liu, Anders P. Ravn (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
A88
2009
